Optimal. Leaf size=86 \[ -\frac {(2 a-b) \text {ArcTan}(\sinh (c+d x))}{2 b^2 d}+\frac {a^{3/2} \text {ArcTan}\left (\frac {\sqrt {a} \sinh (c+d x)}{\sqrt {a+b}}\right )}{b^2 \sqrt {a+b} d}+\frac {\text {sech}(c+d x) \tanh (c+d x)}{2 b d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.07, antiderivative size = 86, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.217, Rules used = {4232, 425, 536,
209, 211} \begin {gather*} \frac {a^{3/2} \text {ArcTan}\left (\frac {\sqrt {a} \sinh (c+d x)}{\sqrt {a+b}}\right )}{b^2 d \sqrt {a+b}}-\frac {(2 a-b) \text {ArcTan}(\sinh (c+d x))}{2 b^2 d}+\frac {\tanh (c+d x) \text {sech}(c+d x)}{2 b d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 211
Rule 425
Rule 536
Rule 4232
Rubi steps
\begin {align*} \int \frac {\text {sech}^5(c+d x)}{a+b \text {sech}^2(c+d x)} \, dx &=\frac {\text {Subst}\left (\int \frac {1}{\left (1+x^2\right )^2 \left (a+b+a x^2\right )} \, dx,x,\sinh (c+d x)\right )}{d}\\ &=\frac {\text {sech}(c+d x) \tanh (c+d x)}{2 b d}-\frac {\text {Subst}\left (\int \frac {a-b-a x^2}{\left (1+x^2\right ) \left (a+b+a x^2\right )} \, dx,x,\sinh (c+d x)\right )}{2 b d}\\ &=\frac {\text {sech}(c+d x) \tanh (c+d x)}{2 b d}+\frac {a^2 \text {Subst}\left (\int \frac {1}{a+b+a x^2} \, dx,x,\sinh (c+d x)\right )}{b^2 d}-\frac {(2 a-b) \text {Subst}\left (\int \frac {1}{1+x^2} \, dx,x,\sinh (c+d x)\right )}{2 b^2 d}\\ &=-\frac {(2 a-b) \tan ^{-1}(\sinh (c+d x))}{2 b^2 d}+\frac {a^{3/2} \tan ^{-1}\left (\frac {\sqrt {a} \sinh (c+d x)}{\sqrt {a+b}}\right )}{b^2 \sqrt {a+b} d}+\frac {\text {sech}(c+d x) \tanh (c+d x)}{2 b d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(213\) vs. \(2(86)=172\).
time = 1.27, size = 213, normalized size = 2.48 \begin {gather*} \frac {\cosh (c) (a+2 b+a \cosh (2 (c+d x))) \text {sech}^2(c+d x) \left (b \sqrt {a+b} \text {sech}^2(c) \text {sech}^2(c+d x) \sqrt {(\cosh (c)-\sinh (c))^2} \sinh (d x)+2 a^{3/2} \text {ArcTan}\left (\frac {\sqrt {a+b} \text {csch}(c+d x) \sqrt {(\cosh (c)-\sinh (c))^2} (\cosh (c)+\sinh (c))}{\sqrt {a}}\right ) (-1+\tanh (c))-\sqrt {a+b} \text {sech}(c) \sqrt {(\cosh (c)-\sinh (c))^2} \left (2 (2 a-b) \text {ArcTan}\left (\tanh \left (\frac {1}{2} (c+d x)\right )\right )-b \text {sech}(c+d x) \tanh (c)\right )\right )}{4 b^2 \sqrt {a+b} d \left (a+b \text {sech}^2(c+d x)\right ) \sqrt {(\cosh (c)-\sinh (c))^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(158\) vs.
\(2(74)=148\).
time = 1.95, size = 159, normalized size = 1.85
method | result | size |
derivativedivides | \(\frac {-\frac {2 \left (\frac {\frac {b \left (\tanh ^{3}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{2}-\frac {b \tanh \left (\frac {d x}{2}+\frac {c}{2}\right )}{2}}{\left (\tanh ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}+\frac {\left (-b +2 a \right ) \arctan \left (\tanh \left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{2}\right )}{b^{2}}+\frac {2 a^{2} \left (\frac {\arctan \left (\frac {2 \sqrt {a +b}\, \tanh \left (\frac {d x}{2}+\frac {c}{2}\right )+2 \sqrt {b}}{2 \sqrt {a}}\right )}{2 \sqrt {a +b}\, \sqrt {a}}+\frac {\arctan \left (\frac {2 \sqrt {a +b}\, \tanh \left (\frac {d x}{2}+\frac {c}{2}\right )-2 \sqrt {b}}{2 \sqrt {a}}\right )}{2 \sqrt {a +b}\, \sqrt {a}}\right )}{b^{2}}}{d}\) | \(159\) |
default | \(\frac {-\frac {2 \left (\frac {\frac {b \left (\tanh ^{3}\left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{2}-\frac {b \tanh \left (\frac {d x}{2}+\frac {c}{2}\right )}{2}}{\left (\tanh ^{2}\left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}+\frac {\left (-b +2 a \right ) \arctan \left (\tanh \left (\frac {d x}{2}+\frac {c}{2}\right )\right )}{2}\right )}{b^{2}}+\frac {2 a^{2} \left (\frac {\arctan \left (\frac {2 \sqrt {a +b}\, \tanh \left (\frac {d x}{2}+\frac {c}{2}\right )+2 \sqrt {b}}{2 \sqrt {a}}\right )}{2 \sqrt {a +b}\, \sqrt {a}}+\frac {\arctan \left (\frac {2 \sqrt {a +b}\, \tanh \left (\frac {d x}{2}+\frac {c}{2}\right )-2 \sqrt {b}}{2 \sqrt {a}}\right )}{2 \sqrt {a +b}\, \sqrt {a}}\right )}{b^{2}}}{d}\) | \(159\) |
risch | \(\frac {{\mathrm e}^{d x +c} \left ({\mathrm e}^{2 d x +2 c}-1\right )}{d b \left (1+{\mathrm e}^{2 d x +2 c}\right )^{2}}-\frac {i \ln \left ({\mathrm e}^{d x +c}-i\right )}{2 d b}+\frac {i \ln \left ({\mathrm e}^{d x +c}-i\right ) a}{d \,b^{2}}+\frac {i \ln \left ({\mathrm e}^{d x +c}+i\right )}{2 d b}-\frac {i \ln \left ({\mathrm e}^{d x +c}+i\right ) a}{d \,b^{2}}+\frac {\sqrt {-a \left (a +b \right )}\, a \ln \left ({\mathrm e}^{2 d x +2 c}+\frac {2 \sqrt {-a \left (a +b \right )}\, {\mathrm e}^{d x +c}}{a}-1\right )}{2 \left (a +b \right ) d \,b^{2}}-\frac {\sqrt {-a \left (a +b \right )}\, a \ln \left ({\mathrm e}^{2 d x +2 c}-\frac {2 \sqrt {-a \left (a +b \right )}\, {\mathrm e}^{d x +c}}{a}-1\right )}{2 \left (a +b \right ) d \,b^{2}}\) | \(223\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 706 vs.
\(2 (74) = 148\).
time = 0.40, size = 1518, normalized size = 17.65 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\operatorname {sech}^{5}{\left (c + d x \right )}}{a + b \operatorname {sech}^{2}{\left (c + d x \right )}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.50, size = 946, normalized size = 11.00 \begin {gather*} \frac {\sqrt {a^3}\,\left (2\,\mathrm {atan}\left (\left ({\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\left (\frac {64\,\left (6\,b^3\,d\,{\left (a^3\right )}^{3/2}+2\,b^6\,d\,\sqrt {a^3}+6\,a\,b^2\,d\,{\left (a^3\right )}^{3/2}-4\,a\,b^5\,d\,\sqrt {a^3}-6\,a^2\,b^4\,d\,\sqrt {a^3}\right )}{a^4\,b^4\,\left (a+b\right )\,\left (b^2+a\,b\right )\,\sqrt {b^5\,d^2+a\,b^4\,d^2}\,\sqrt {b^4\,d^2\,\left (a+b\right )}\,\left (3\,a^3-3\,a\,b^2+b^3\right )}-\frac {32\,\left (3\,a^5\,\sqrt {b^5\,d^2+a\,b^4\,d^2}+a^2\,b^3\,\sqrt {b^5\,d^2+a\,b^4\,d^2}-3\,a^3\,b^2\,\sqrt {b^5\,d^2+a\,b^4\,d^2}\right )}{a^2\,b^6\,d\,{\left (a+b\right )}^2\,\left (b^2+a\,b\right )\,\sqrt {b^5\,d^2+a\,b^4\,d^2}\,\sqrt {a^3}\,\left (3\,a^3-3\,a\,b^2+b^3\right )}\right )+\frac {32\,{\mathrm {e}}^{3\,c}\,{\mathrm {e}}^{3\,d\,x}\,\left (3\,a^5\,\sqrt {b^5\,d^2+a\,b^4\,d^2}+a^2\,b^3\,\sqrt {b^5\,d^2+a\,b^4\,d^2}-3\,a^3\,b^2\,\sqrt {b^5\,d^2+a\,b^4\,d^2}\right )}{a^2\,b^6\,d\,{\left (a+b\right )}^2\,\left (b^2+a\,b\right )\,\sqrt {b^5\,d^2+a\,b^4\,d^2}\,\sqrt {a^3}\,\left (3\,a^3-3\,a\,b^2+b^3\right )}\right )\,\left (\frac {a^2\,b^7\,\sqrt {b^5\,d^2+a\,b^4\,d^2}}{64}+\frac {a^3\,b^6\,\sqrt {b^5\,d^2+a\,b^4\,d^2}}{32}+\frac {a^4\,b^5\,\sqrt {b^5\,d^2+a\,b^4\,d^2}}{64}\right )\right )+2\,\mathrm {atan}\left (\frac {a^2\,{\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\sqrt {b^4\,d^2\,\left (a+b\right )}}{2\,b^2\,d\,\left (a+b\right )\,\sqrt {a^3}}\right )\right )}{2\,\sqrt {b^5\,d^2+a\,b^4\,d^2}}-\frac {\mathrm {atan}\left (\frac {{\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\left (18\,a^7\,\sqrt {b^4\,d^2}-b^7\,\sqrt {b^4\,d^2}-21\,a^2\,b^5\,\sqrt {b^4\,d^2}+12\,a^3\,b^4\,\sqrt {b^4\,d^2}+30\,a^4\,b^3\,\sqrt {b^4\,d^2}-36\,a^5\,b^2\,\sqrt {b^4\,d^2}+8\,a\,b^6\,\sqrt {b^4\,d^2}-9\,a^6\,b\,\sqrt {b^4\,d^2}\right )}{b^8\,d\,\sqrt {4\,a^2-4\,a\,b+b^2}+9\,a^2\,b^6\,d\,\sqrt {4\,a^2-4\,a\,b+b^2}+6\,a^3\,b^5\,d\,\sqrt {4\,a^2-4\,a\,b+b^2}-18\,a^4\,b^4\,d\,\sqrt {4\,a^2-4\,a\,b+b^2}+9\,a^6\,b^2\,d\,\sqrt {4\,a^2-4\,a\,b+b^2}-6\,a\,b^7\,d\,\sqrt {4\,a^2-4\,a\,b+b^2}}\right )\,\sqrt {4\,a^2-4\,a\,b+b^2}}{\sqrt {b^4\,d^2}}+\frac {{\mathrm {e}}^{c+d\,x}}{b\,d\,\left ({\mathrm {e}}^{2\,c+2\,d\,x}+1\right )}-\frac {2\,{\mathrm {e}}^{c+d\,x}}{b\,d\,\left (2\,{\mathrm {e}}^{2\,c+2\,d\,x}+{\mathrm {e}}^{4\,c+4\,d\,x}+1\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________